Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions
نویسندگان
چکیده
منابع مشابه
Integrating Dataflow Abstractions into Transactional Memory
Many concurrent programs require some form of conditional synchronization to coordinate the execution of different program tasks. Programming these algorithms using transactional memory (TM) often results in a high conflict rate between transactions. In this paper we propose an Atomic dataflow model ADF, which aims to reduce transaction conflicts by incorporating dataflow scheduling principles ...
متن کاملMemory-Efficient Abstractions for Pathfinding
From an academic perspective there has been a lot of work on using state abstraction to speed path planning. But, this work often does not directly address the needs of the game development community, specifically for mechanisms that will fit the limited memory budget of most commercial games. In this paper we bring together several related pieces of work on using abstraction for pathfinding, s...
متن کاملMemory Abstractions for Data Transactions
This thesis presents STO, a software transactional memory (STM) based not on low-level reads and writes on memory, but on datatypes—arrays, lists, queues, hash tables, and so forth—that explicitly support transactional operations. Conventional STMs allow programmers to write concurrent code in much the same way as sequential code—thereby more easily taking advantage of multiple CPU cores. Howev...
متن کاملMemory abstractions for parallel programming
A memory abstraction is an abstraction layer between the program execution and the memory that provides a different “view” of a memory location depending on the execution context in which the memory access is made. Properly designed memory abstractions help ease the task of parallel programming by mitigating the complexity of synchronization or admitting more efficient use of resources. This di...
متن کاملMathematical Modeling of Gas Separation Process with Flat Carbon Membrane
Carbon molecular sieve membranes (CMSMs) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. Due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. Because of the importance of carbon membranes and a large number of stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2017
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2017-29(4)-13